Optimal. Leaf size=341 \[ \frac {3 B (b c-a d)^2 g^3 (a+b x)}{d^3 i^2 (c+d x)}-\frac {(6 A+5 B) (b c-a d)^2 g^3 (a+b x)}{2 d^3 i^2 (c+d x)}-\frac {3 B (b c-a d)^2 g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{d^3 i^2 (c+d x)}+\frac {g^3 (a+b x)^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{2 d i^2 (c+d x)}-\frac {(b c-a d) g^3 (a+b x)^2 \left (3 A+B+3 B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{2 d^2 i^2 (c+d x)}-\frac {b (b c-a d)^2 g^3 \log \left (\frac {b c-a d}{b (c+d x)}\right ) \left (6 A+5 B+6 B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{2 d^4 i^2}-\frac {3 b B (b c-a d)^2 g^3 \text {Li}_2\left (\frac {d (a+b x)}{b (c+d x)}\right )}{d^4 i^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.27, antiderivative size = 341, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 7, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.175, Rules used = {2562, 2384, 45,
2393, 2332, 2354, 2438} \begin {gather*} -\frac {3 b B g^3 (b c-a d)^2 \text {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d^4 i^2}-\frac {b g^3 (b c-a d)^2 \log \left (\frac {b c-a d}{b (c+d x)}\right ) \left (6 B \log \left (\frac {e (a+b x)}{c+d x}\right )+6 A+5 B\right )}{2 d^4 i^2}-\frac {g^3 (6 A+5 B) (a+b x) (b c-a d)^2}{2 d^3 i^2 (c+d x)}-\frac {g^3 (a+b x)^2 (b c-a d) \left (3 B \log \left (\frac {e (a+b x)}{c+d x}\right )+3 A+B\right )}{2 d^2 i^2 (c+d x)}+\frac {g^3 (a+b x)^3 \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{2 d i^2 (c+d x)}-\frac {3 B g^3 (a+b x) (b c-a d)^2 \log \left (\frac {e (a+b x)}{c+d x}\right )}{d^3 i^2 (c+d x)}+\frac {3 B g^3 (a+b x) (b c-a d)^2}{d^3 i^2 (c+d x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 2332
Rule 2354
Rule 2384
Rule 2393
Rule 2438
Rule 2562
Rubi steps
\begin {align*} \int \frac {(a g+b g x)^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{(39 c+39 d x)^2} \, dx &=\int \left (-\frac {b^2 (2 b c-3 a d) g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^3}+\frac {b^3 g^3 x \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^2}+\frac {(-b c+a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^3 (c+d x)^2}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{507 d^3 (c+d x)}\right ) \, dx\\ &=\frac {\left (b^3 g^3\right ) \int x \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \, dx}{1521 d^2}-\frac {\left (b^2 (2 b c-3 a d) g^3\right ) \int \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \, dx}{1521 d^3}+\frac {\left (b (b c-a d)^2 g^3\right ) \int \frac {A+B \log \left (\frac {e (a+b x)}{c+d x}\right )}{c+d x} \, dx}{507 d^3}-\frac {\left ((b c-a d)^3 g^3\right ) \int \frac {A+B \log \left (\frac {e (a+b x)}{c+d x}\right )}{(c+d x)^2} \, dx}{1521 d^3}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}-\frac {\left (b^3 B g^3\right ) \int \frac {(b c-a d) x^2}{(a+b x) (c+d x)} \, dx}{3042 d^2}-\frac {\left (b^2 B (2 b c-3 a d) g^3\right ) \int \log \left (\frac {e (a+b x)}{c+d x}\right ) \, dx}{1521 d^3}-\frac {\left (b B (b c-a d)^2 g^3\right ) \int \frac {(c+d x) \left (-\frac {d e (a+b x)}{(c+d x)^2}+\frac {b e}{c+d x}\right ) \log (c+d x)}{e (a+b x)} \, dx}{507 d^4}-\frac {\left (B (b c-a d)^3 g^3\right ) \int \frac {b c-a d}{(a+b x) (c+d x)^2} \, dx}{1521 d^4}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}-\frac {\left (b^3 B (b c-a d) g^3\right ) \int \frac {x^2}{(a+b x) (c+d x)} \, dx}{3042 d^2}+\frac {\left (b B (2 b c-3 a d) (b c-a d) g^3\right ) \int \frac {1}{c+d x} \, dx}{1521 d^3}-\frac {\left (B (b c-a d)^4 g^3\right ) \int \frac {1}{(a+b x) (c+d x)^2} \, dx}{1521 d^4}-\frac {\left (b B (b c-a d)^2 g^3\right ) \int \frac {(c+d x) \left (-\frac {d e (a+b x)}{(c+d x)^2}+\frac {b e}{c+d x}\right ) \log (c+d x)}{a+b x} \, dx}{507 d^4 e}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b B (2 b c-3 a d) (b c-a d) g^3 \log (c+d x)}{1521 d^4}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}-\frac {\left (b^3 B (b c-a d) g^3\right ) \int \left (\frac {1}{b d}+\frac {a^2}{b (b c-a d) (a+b x)}+\frac {c^2}{d (-b c+a d) (c+d x)}\right ) \, dx}{3042 d^2}-\frac {\left (B (b c-a d)^4 g^3\right ) \int \left (\frac {b^2}{(b c-a d)^2 (a+b x)}-\frac {d}{(b c-a d) (c+d x)^2}-\frac {b d}{(b c-a d)^2 (c+d x)}\right ) \, dx}{1521 d^4}-\frac {\left (b B (b c-a d)^2 g^3\right ) \int \left (\frac {b e \log (c+d x)}{a+b x}-\frac {d e \log (c+d x)}{c+d x}\right ) \, dx}{507 d^4 e}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b^2 B (b c-a d) g^3 x}{3042 d^3}-\frac {B (b c-a d)^3 g^3}{1521 d^4 (c+d x)}-\frac {a^2 b B g^3 \log (a+b x)}{3042 d^2}-\frac {b B (b c-a d)^2 g^3 \log (a+b x)}{1521 d^4}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b^3 B c^2 g^3 \log (c+d x)}{3042 d^4}+\frac {b B (2 b c-3 a d) (b c-a d) g^3 \log (c+d x)}{1521 d^4}+\frac {b B (b c-a d)^2 g^3 \log (c+d x)}{1521 d^4}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}-\frac {\left (b^2 B (b c-a d)^2 g^3\right ) \int \frac {\log (c+d x)}{a+b x} \, dx}{507 d^4}+\frac {\left (b B (b c-a d)^2 g^3\right ) \int \frac {\log (c+d x)}{c+d x} \, dx}{507 d^3}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b^2 B (b c-a d) g^3 x}{3042 d^3}-\frac {B (b c-a d)^3 g^3}{1521 d^4 (c+d x)}-\frac {a^2 b B g^3 \log (a+b x)}{3042 d^2}-\frac {b B (b c-a d)^2 g^3 \log (a+b x)}{1521 d^4}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b^3 B c^2 g^3 \log (c+d x)}{3042 d^4}+\frac {b B (2 b c-3 a d) (b c-a d) g^3 \log (c+d x)}{1521 d^4}+\frac {b B (b c-a d)^2 g^3 \log (c+d x)}{1521 d^4}-\frac {b B (b c-a d)^2 g^3 \log \left (-\frac {d (a+b x)}{b c-a d}\right ) \log (c+d x)}{507 d^4}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}+\frac {\left (b B (b c-a d)^2 g^3\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,c+d x\right )}{507 d^4}+\frac {\left (b B (b c-a d)^2 g^3\right ) \int \frac {\log \left (\frac {d (a+b x)}{-b c+a d}\right )}{c+d x} \, dx}{507 d^3}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b^2 B (b c-a d) g^3 x}{3042 d^3}-\frac {B (b c-a d)^3 g^3}{1521 d^4 (c+d x)}-\frac {a^2 b B g^3 \log (a+b x)}{3042 d^2}-\frac {b B (b c-a d)^2 g^3 \log (a+b x)}{1521 d^4}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b^3 B c^2 g^3 \log (c+d x)}{3042 d^4}+\frac {b B (2 b c-3 a d) (b c-a d) g^3 \log (c+d x)}{1521 d^4}+\frac {b B (b c-a d)^2 g^3 \log (c+d x)}{1521 d^4}-\frac {b B (b c-a d)^2 g^3 \log \left (-\frac {d (a+b x)}{b c-a d}\right ) \log (c+d x)}{507 d^4}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}+\frac {b B (b c-a d)^2 g^3 \log ^2(c+d x)}{1014 d^4}+\frac {\left (b B (b c-a d)^2 g^3\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {b x}{-b c+a d}\right )}{x} \, dx,x,c+d x\right )}{507 d^4}\\ &=-\frac {A b^2 (2 b c-3 a d) g^3 x}{1521 d^3}-\frac {b^2 B (b c-a d) g^3 x}{3042 d^3}-\frac {B (b c-a d)^3 g^3}{1521 d^4 (c+d x)}-\frac {a^2 b B g^3 \log (a+b x)}{3042 d^2}-\frac {b B (b c-a d)^2 g^3 \log (a+b x)}{1521 d^4}-\frac {b B (2 b c-3 a d) g^3 (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )}{1521 d^3}+\frac {b^3 g^3 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{3042 d^2}+\frac {(b c-a d)^3 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{1521 d^4 (c+d x)}+\frac {b^3 B c^2 g^3 \log (c+d x)}{3042 d^4}+\frac {b B (2 b c-3 a d) (b c-a d) g^3 \log (c+d x)}{1521 d^4}+\frac {b B (b c-a d)^2 g^3 \log (c+d x)}{1521 d^4}-\frac {b B (b c-a d)^2 g^3 \log \left (-\frac {d (a+b x)}{b c-a d}\right ) \log (c+d x)}{507 d^4}+\frac {b (b c-a d)^2 g^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{507 d^4}+\frac {b B (b c-a d)^2 g^3 \log ^2(c+d x)}{1014 d^4}-\frac {b B (b c-a d)^2 g^3 \text {Li}_2\left (\frac {b (c+d x)}{b c-a d}\right )}{507 d^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.29, size = 359, normalized size = 1.05 \begin {gather*} \frac {g^3 \left (-2 A b^2 d (2 b c-3 a d) x-2 b B d (2 b c-3 a d) (a+b x) \log \left (\frac {e (a+b x)}{c+d x}\right )+b^3 d^2 x^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )+\frac {2 (b c-a d)^3 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{c+d x}+2 b B (2 b c-3 a d) (b c-a d) \log (c+d x)+6 b (b c-a d)^2 \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log (c+d x)-2 B (b c-a d)^2 \left (\frac {b c-a d}{c+d x}+b \log (a+b x)-b \log (c+d x)\right )+b B \left (-a^2 d^2 \log (a+b x)+b \left (d (-b c+a d) x+b c^2 \log (c+d x)\right )\right )-3 b B (b c-a d)^2 \left (\left (2 \log \left (\frac {d (a+b x)}{-b c+a d}\right )-\log (c+d x)\right ) \log (c+d x)+2 \text {Li}_2\left (\frac {b (c+d x)}{b c-a d}\right )\right )\right )}{2 d^4 i^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1788\) vs.
\(2(333)=666\).
time = 1.52, size = 1789, normalized size = 5.25
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1789\) |
default | \(\text {Expression too large to display}\) | \(1789\) |
risch | \(\text {Expression too large to display}\) | \(3868\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1089 vs.
\(2 (315) = 630\).
time = 0.35, size = 1089, normalized size = 3.19 \begin {gather*} -\frac {1}{2} \, {\left (\frac {2 \, c^{3}}{d^{5} x + c d^{4}} + \frac {6 \, c^{2} \log \left (d x + c\right )}{d^{4}} + \frac {d x^{2} - 4 \, c x}{d^{3}}\right )} A b^{3} g^{3} + 3 \, A a b^{2} {\left (\frac {c^{2}}{d^{4} x + c d^{3}} - \frac {x}{d^{2}} + \frac {2 \, c \log \left (d x + c\right )}{d^{3}}\right )} g^{3} - B a^{3} g^{3} {\left (\frac {b \log \left (b x + a\right )}{b c d - a d^{2}} - \frac {b \log \left (d x + c\right )}{b c d - a d^{2}} - \frac {\log \left (\frac {b x e}{d x + c} + \frac {a e}{d x + c}\right )}{d^{2} x + c d} + \frac {1}{d^{2} x + c d}\right )} - 3 \, A a^{2} b g^{3} {\left (\frac {c}{d^{3} x + c d^{2}} + \frac {\log \left (d x + c\right )}{d^{2}}\right )} + \frac {A a^{3} g^{3}}{d^{2} x + c d} - \frac {{\left (13 \, b^{4} c^{3} g^{3} - 35 \, a b^{3} c^{2} d g^{3} + 30 \, a^{2} b^{2} c d^{2} g^{3} - 6 \, a^{3} b d^{3} g^{3}\right )} B \log \left (d x + c\right )}{2 \, {\left (b c d^{4} - a d^{5}\right )}} - \frac {{\left (b^{4} c d^{3} g^{3} - a b^{3} d^{4} g^{3}\right )} B x^{3} - {\left (4 \, b^{4} c^{2} d^{2} g^{3} - 11 \, a b^{3} c d^{3} g^{3} + 7 \, a^{2} b^{2} d^{4} g^{3}\right )} B x^{2} - {\left (5 \, b^{4} c^{3} d g^{3} - 12 \, a b^{3} c^{2} d^{2} g^{3} + 7 \, a^{2} b^{2} c d^{3} g^{3}\right )} B x - 3 \, {\left ({\left (b^{4} c^{3} d g^{3} - 3 \, a b^{3} c^{2} d^{2} g^{3} + 3 \, a^{2} b^{2} c d^{3} g^{3} - a^{3} b d^{4} g^{3}\right )} B x + {\left (b^{4} c^{4} g^{3} - 3 \, a b^{3} c^{3} d g^{3} + 3 \, a^{2} b^{2} c^{2} d^{2} g^{3} - a^{3} b c d^{3} g^{3}\right )} B\right )} \log \left (d x + c\right )^{2} + {\left ({\left (b^{4} c d^{3} g^{3} - a b^{3} d^{4} g^{3}\right )} B x^{3} - 3 \, {\left (b^{4} c^{2} d^{2} g^{3} - 3 \, a b^{3} c d^{3} g^{3} + 2 \, a^{2} b^{2} d^{4} g^{3}\right )} B x^{2} - {\left (6 \, b^{4} c^{3} d g^{3} - 12 \, a b^{3} c^{2} d^{2} g^{3} + 3 \, a^{2} b^{2} c d^{3} g^{3} + 5 \, a^{3} b d^{4} g^{3}\right )} B x - {\left (6 \, a b^{3} c^{3} d g^{3} - 15 \, a^{2} b^{2} c^{2} d^{2} g^{3} + 11 \, a^{3} b c d^{3} g^{3}\right )} B\right )} \log \left (b x + a\right ) - {\left ({\left (b^{4} c d^{3} g^{3} - a b^{3} d^{4} g^{3}\right )} B x^{3} - 3 \, {\left (b^{4} c^{2} d^{2} g^{3} - 3 \, a b^{3} c d^{3} g^{3} + 2 \, a^{2} b^{2} d^{4} g^{3}\right )} B x^{2} - 2 \, {\left (2 \, b^{4} c^{3} d g^{3} - 5 \, a b^{3} c^{2} d^{2} g^{3} + 3 \, a^{2} b^{2} c d^{3} g^{3}\right )} B x + 2 \, {\left (b^{4} c^{4} g^{3} - 4 \, a b^{3} c^{3} d g^{3} + 6 \, a^{2} b^{2} c^{2} d^{2} g^{3} - 3 \, a^{3} b c d^{3} g^{3}\right )} B\right )} \log \left (d x + c\right )}{2 \, {\left (b c^{2} d^{4} - a c d^{5} + {\left (b c d^{5} - a d^{6}\right )} x\right )}} - \frac {3 \, {\left (b^{3} c^{2} g^{3} - 2 \, a b^{2} c d g^{3} + a^{2} b d^{2} g^{3}\right )} {\left (\log \left (b x + a\right ) \log \left (\frac {b d x + a d}{b c - a d} + 1\right ) + {\rm Li}_2\left (-\frac {b d x + a d}{b c - a d}\right )\right )} B}{d^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 3797 vs.
\(2 (315) = 630\).
time = 79.57, size = 3797, normalized size = 11.13 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a\,g+b\,g\,x\right )}^3\,\left (A+B\,\ln \left (\frac {e\,\left (a+b\,x\right )}{c+d\,x}\right )\right )}{{\left (c\,i+d\,i\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________